Stichworte: valid implication